s:DSet, a:|s|. (a (=) a) = tt   

latex

Up	sets 1
Definitions of Statement	DSet
Definitions	t  T, x f y, x:A. B(x), P  Q, P  Q, P & Q, P  Q, DSet
Lemmas	dset wf, set car wf, set eq wf, eqtt to assert, assert of dset eq